منابع مشابه
Effective Dispersion in Computable Metric Spaces
We investigate the relationship between computable metric spaces (X, d, α) and (X, d, β), where (X, d) is a given metric space. In the case of Euclidean space, α and β are equivalent up to isometry, which does not hold in general. We introduce the notion of effectively dispersed metric space. This notion is essential in the proof of the main result of this paper: (X, d, α) is effectively totall...
متن کاملEffective zero-dimensionality for computable metric spaces
We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zerodimensionality are shown to be equivalent. The part of this characterisation that concerns covering dimension extends to higher dimensions and to closed shrinkings of finite open covers. To deal with zero-dimensional subspaces uniformly, fo...
متن کاملComputational Complexity on Computable Metric Spaces
We introduce a new Turing machine based concept of time complexity for functions on computable metric spaces. It generalizes the ordinary complexity of word functions and the complexity of real functions studied by Ko [19] et al. Although this definition of TIME as the maximum of a generally infinite family of numbers looks straightforward, at first glance, examples for which this maximum exist...
متن کاملStrong $I^K$-Convergence in Probabilistic Metric Spaces
In this paper we introduce strong $I^K$-convergence of functions which is common generalization of strong $I^*$-convergence of functions in probabilistic metric spaces. We also define and study strong $I^{K}$-limit points of functions in same space.
متن کاملCo-c.e. spheres and cells in computable metric spaces
We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable each co-computably enumerable sphere is computable and each co-c.e. cell with co-c.e. boundary sphere is computable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2013
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-2013-11528-5